docs: make the spinner spin for the screenshot

diff --git a/docs/tools/widgets.c b/docs/tools/widgets.c
index ba47eab125f4d976c9a708f55d4c5d9a9b7f1437..04af08b4fcb266b3264ca48f8cd5ba589b8a42a3 100644 (file)
--- a/docs/tools/widgets.c
+++ b/docs/tools/widgets.c
@@ -1147,6 +1147,7 @@ create_spinner (void)
 
   widget = gtk_spinner_new ();
   gtk_widget_set_size_request (widget, 24, 24);
+  gtk_spinner_start (GTK_SPINNER (widget));
 
   vbox = gtk_box_new (GTK_ORIENTATION_VERTICAL, 3);
   align = gtk_alignment_new (0.5, 0.5, 0.0, 0.0);